Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
category theory
1
correct by construction
1 ?
 21,213,375 websites (safe search)

  1. Kestrel Institute

    * --> Technology for analysis and synthesis of high-assurance software applications Kestrel Institute is a non-profit computer science research institute. Our ...
    formal methods1
    algorithm design1
    category theory1
    correct by construction1
    program synthesis1
    Kestrel Institute0
    provably correct0

    www.kestrel.edu - 2009-04-09

java4 nanotechnology2 number theory1 mathematical physics1 algebra2 nuclear physics1 biotechnology2 code generation1 physics2 chemistry2 asp.net3 mathematics2 computer security2 nanoscience1 automated implementation1 formal methods1 quality assurance2 code generator1 high energy physics1 geometry2 software verification1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.